University of Science

Results: 77099



#Item
531

Y in Practical Programs∗ Extended Abstract Bruce McAdam Laboratory for Foundations of Computer Science, The University of Edinburgh,

Add to Reading List

Source URL: blog.klipse.tech

Language: English - Date: 2018-05-18 04:24:32
    532

    A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

    Add to Reading List

    Source URL: www.nicolapaoletti.com

    Language: English - Date: 2017-11-11 16:45:09
      533

      RESEARCH PROGRAM of CHERYL BARTLETT, TIER 1 CANADA RESEARCH CHAIR IN INTEGRATIVE SCIENCE www.integrativescience.ca Cape Breton University, Sydney, NS, Canada (www.cbu.ca) TWO-FOLD, LONG TERM GOAL: As a Tier 1 Canada Res

      Add to Reading List

      Source URL: www.integrativescience.ca

      Language: English - Date: 2012-08-26 15:49:54
        534

        Survivability of Large Networks in the Presence of Malicious Attacks Casey T. Deccio, Spencer Cox, Matthew Smith, Jacob Wan, Mark Clement, and Quinn Snell Computer Science Department Brigham Young University

        Add to Reading List

        Source URL: m.smithworx.com

        Language: English - Date: 2010-07-01 18:07:10
          535

          Variational models Dustin Tran Department of Computer Science Columbia University Joint work with:

          Add to Reading List

          Source URL: dustintran.com

          Language: English - Date: 2016-06-04 05:02:24
            536

            Title : The Cultural Red King Effect Published in : The Journal of Mathematical Sociology Author : Cailin O’Connor Address : Department of Logic and Philosophy of Science, University of California, Irvine, 3151 Social

            Add to Reading List

            Source URL: cailinoconnor.com

            Language: English - Date: 2017-06-01 13:25:51
              537

              Forming an Effective Multi-Robot Team Robust to Failures Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and A

              Add to Reading List

              Source URL: www.somchaya.org

              Language: English - Date: 2017-04-09 23:30:37
                538

                Eliminating False Phase Interactions to Reduce Optimization Phase Order Search Space Michael R. Jantz Prasad A. Kulkarni Department of Electrical Engineering and Computer Science University of Kansas

                Add to Reading List

                Source URL: www.ittc.ku.edu

                Language: English - Date: 2013-11-16 23:56:02
                  539

                  Towards a Sybil-resilient reputation metric for P2P applications Tien Tuan Anh Dinh, Mark Ryan School of Computer Science, University of Birmingham, United Kingdom {ttd,mdr}@cs.bham.ac.uk Abstract In this paper, we propo

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  Language: English - Date: 2009-04-30 08:46:38
                    540

                    Refund attacks on Bitcoin’s Payment Protocol Patrick McCorry, Siamak F. Shahandashti, Feng Hao School of Computing Science, Newcastle University UK (patrick.mccorry, siamak.shahandashti, feng.hao)@ncl.ac.uk Abstract.

                    Add to Reading List

                    Source URL: hongkong2015.scalingbitcoin.org

                    Language: English - Date: 2016-09-30 04:48:05
                      UPDATE